https://filesoo.com/product/60186/constructive-formalism-essays-on-the-foundations-of-mathematics